Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
411	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
412	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
413	Loop Summarization using Abstract Transformers⋆ Daniel Kroening1 , Natasha Sharygina2,5 , Stefano Tonetta3 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger4 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-07-30 04:22:35 Functions and mappings Logic Function Interpretation Symbol Representation theory Limit Μ operator Mathematics Mathematical logic Model theory
414	Session 1: Interpretation of Ice Core Records as Proxies of Extreme Space Weather Events Working Group Leaders: Don Smart, Jack Dibb, Cora Randall Abstract: In a recent paper, Wolff et a Add to Reading List Source URL: www.predsci.com Language: English - Date: 2014-04-08 13:41:54 Plasma physics Astrophysics Light sources Space science Planetary science Coronal mass ejection Solar flare Space weather Geomagnetic storm Physics Space plasmas Astronomy
415	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-07 23:18:57 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
416	PLANNING AN INTERPRETATION PROGRAMME ABSTRACT Interpretation is essential, without it a Botanic Garden is M e more than ar attractive park. On site interpretation provides the vital link between the work and mission of Add to Reading List Source URL: www.bgci.org Language: English - Date: 2008-11-06 10:56:27 Plant taxonomy Cultural heritage Hermeneutics Biology Science Heritage interpretation Humanities Museology Botanical garden Herbals
417	Kestrel Technology The Next Generation Tool for Static Code Analysis: In Depth Analysis of Binary Code The Company Kestrel Technology (KT) specializes in sound semantic static analysis with applications in software secur Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2014-09-26 13:26:40 Portable Executable C Disassembler Abstract interpretation Reverse engineering Computing Computer programming Software engineering
418	MINERALOGICAL SOCIETY OF AMERICA, SPECIAL PAPER 1, 1963 INTERNATIONAL MINERALOGICAL ASSOCIATION, PAPERS, THIRD GENERAL MEETING INTERPRETATION Add to Reading List Source URL: www.minsocam.org Language: English - Date: 2014-02-03 07:48:42 Physics Reciprocal lattice Crystal structure Symmetry Lattice Brillouin zone Space group Group Structure factor Crystallography Chemistry Abstract algebra
419	Memory clinics to enrich common heritage Jean-François Leclerc Centre d’histoire de Montréal Abstract: An urban history interpretation centre and city museum, the Centre d’histoire de Montréal has, for many years, Add to Reading List Source URL: www.metropolis.net Language: English - Date: 2010-04-12 08:52:16 Tourism Cultural heritage Museum Intangible cultural heritage Old Montreal Collective memory Pointe-à-Callière Museum Culture Museology Cultural studies
420	HABEAS AFTER PINHOLSTER Samuel R. Wiseman* Abstract: Until April 2011, every federal habeas court in America could conduct hearings and consider new evidence when reviewing a state court’s interpretation of federal law Add to Reading List Source URL: bclawreview.org Language: English - Date: 2012-05-21 15:07:50 Panetti v. Quarterman Citation signal Habeas corpus Appeal State court Skinner v. Switzer Legal burden of proof Habeas corpus in the United States Greene v. Fisher Law 104th United States Congress Antiterrorism and Effective Death Penalty Act

UPDATE